12 results
Daniel Ponasse. Mathematical logic. English translation of XXXV 579. Gordon and Breach Science Publishers, New York, London, and Paris, 1973, ix +126 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 790-791
- Print publication:
- December 1976
-
- Article
- Export citation
V. A. Jankov. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206(6) by A. Yablonsky. Soviet mathematics, vol. 9 no. 4 (1968), pp. 806–807. - V. A. Jankov. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206(7). Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 5 (for 1968 pub. 1969), pp. 997–1004.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1972
-
- Article
- Export citation
C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 (1959), pp. 74–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
- Print publication:
- March 1971
-
- Article
- Export citation
Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 1001–1006.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Free L-algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-480
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Logic with truth values in A linearly ordered heyting algebra1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-408
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Kiyoshi Iséki. Algebraic formulations of propositional calculi. Proceedings of the Japan Academy, vol. 41 (1965), pp. 803–807. - Kiyoshi Iséki. Axiom systems of B-algebra. Proceedings of the Japan Academy, vol. 41 (1965), pp. 808–811. - Kiyoshi Iséki. A characterization of Boolean algebra. Proceedings of the Japan Academy, vol. 41 (1965), pp. 893–897. - Yoshinari Arai and Kiyoshi Iséki. Axiom systems of B-algebra. II. Proceedings of the Japan Academy, vol. 41 (1965), pp. 908–910.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
- Print publication:
- January 1969
-
- Article
- Export citation
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 (1966), pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 (1966), pp. 693–695.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- 26 April 1968
-
- Article
- Export citation
The separation theorem of intuitionist propositional calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-399
- Print publication:
- December 1962
-
- Article
- Export citation
Frank W. Anderson. Function lattices. Lattice theory. Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 198–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1962
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 (1958), pp. 143–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1962
-
- Article
- Export citation
On sentences which are true of direct unions of algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 14-21
- Print publication:
- March 1951
-
- Article
- Export citation